second-order logic معنى

• منطق الرتبة الثانية

• logic    n. علم المنطق, منط ...
• first-order logic    منطق الرتبَة الأول ...
• second order hydrographic survey    المسح الهيدروغرافي ...

أمثلة

1. Second-order logic is in turn extended by higher-order logic and type theory.
   يتم التمديد إلى منطق الرتبة الثانية عبر منطق الرتب الأعلى ونظرية النمط.
2. Second-order logic extends first-order logic by adding the latter type of quantification.
   يعتبر بمنطق الرتبة الثانية تمديد لمنطق الرتبة الأولى وذلك بإضافة القياس على المجموعات.